2

Finding hypernetworks in directed hypergraphs

Year:
2013
Language:
english
File:
PDF, 353 KB
english, 2013
6

Probability Logic and Optimization SAT: The PSAT and CPA Models

Year:
2005
Language:
english
File:
PDF, 147 KB
english, 2005
18

1 SPLF (bourse de recherche soutenue par Boehringer Ingelheim France)

Year:
2005
Language:
french
File:
PDF, 59 KB
french, 2005
26

Optimization and probabilistic satisfiability on nested and co-nested formulas

Year:
2011
Language:
english
File:
PDF, 617 KB
english, 2011
48

Hierarchies of polynomially solvable satisfiability problems

Year:
1996
Language:
english
File:
PDF, 1.11 MB
english, 1996